7a3c99e36ef5261adee18ca4416a9ff120360d15,src/main/java/io/playpen/core/coordinator/local/Local.java,Local,notifyServerShutdown,#String#,314

Before Change


                File dest = Paths.get(Bootstrap.getHomeDir().getPath(), "frozen", server.getUuid()).toFile();
                FileUtils.copyDirectory(new File(server.getLocalPath()), dest);

                FileUtils.copyFile(Paths.get(Bootstrap.getHomeDir().getPath(), "server-logs", server.getUuid() + ".log").toFile(),
                        Paths.get(dest.getPath(), "playpen_server.log").toFile());
            }
            catch(IOException e) {

After Change


                FileUtils.copyDirectory(new File(server.getLocalPath()), dest);

                FileUtils.copyFile(Paths.get(Bootstrap.getHomeDir().getPath(), "server-logs",
                        (useNameForLogs ? server.getName() : server.getUuid()) + ".log").toFile(),
                        Paths.get(dest.getPath(), "playpen_server.log").toFile());
            }
            catch(IOException e) {